退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用逻辑编程技术的可扩展Web推理
Gergely Lukácsy; Péter Szeredi;
机译:用逻辑编程对单子二阶逻辑进行增量推理
机译:使用元编程,约束逻辑编程和近似推理进行专家系统设计
机译:具有不精确概率的逻辑以及使用重写技术的自动推理应用
机译:用于马尔可夫逻辑的可扩展推理技术用于马尔可夫逻辑的可扩展推理技术。
机译:大型双水平应变的设计方法和混合整数规划求解技巧
机译:使用逻辑编程技术的可扩展Web推理⋆
机译:可编程逻辑器件的逻辑吸收技术
机译:可编程逻辑设备的逻辑吸收技术
机译:在可编程逻辑控制器上编码本体推理的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。